<!DOCTYPE html>
<?php

if (isset($_GET['titre'])) {
	$titre=$_GET["titre"];
} elseif (isset($_POST['titre'])) {
	$titre=$_POST["titre"];
} else {
	$titre="csv2xml pour ILIAS";
}
	
    require_once './fonctions.php'; 
	
?>
<html>
    <head>
        <meta charset="UTF-8">
		<script type="text/javascript" src="res/jquery.js"></script>
		<style>
			td, th {
				text-align:center;
				padding:5px;
			}
			th {
				background-color:#691210;
				color: silver;
			}
		</style>
		<title><?php echo $titre ?></title>
    </head>
    <body>
	
		<img src="res/beaufrene.jpg" style="height:50px" style="display:inline-block">
		<h3 style="display:inline-block"> Extension csv2xml pour ILIAS</h3>
		<div style="position:absolute;top:10px;right:10px">
				<input type="button" name="parametrages" id="parametrages" 
					   onclick="document.location.href = 'parametrage.php'" 
					   value="Paramétrages">
		</div>
		<div style="clear:both"></div>
		<hr>